Axiom systems of $B$-algebra, IV

An Axiom Foundation for Un ertain Reasonings in Rule-Based Expert Systems: NT-Algebra?

SOME ERGODIC PROPERTIES OF HYPER MV {ALGEBRA DYNAMICAL SYSTEMS

This paper provides a review on major ergodic features of semi-independent hyper MV {algebra dynamical systems. Theorems are presentedto make contribution to calculate the entropy. Particularly, it is proved that thetotal entropy of those semi-independent hyper MV {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

On Axiom Systems of Pseudo-BCK Algebras

A symplified axiomatization of pseudo-BCK algebras is given. In addition, we obtain a system of axioms defining bounded commutative pseudoBCK algebras and show that these axioms are independent (that is, none follows from the others). 2010 Mathematics Subject Classification: 03G25, 06F05, 06F35

some ergodic properties of hyper mv {algebra dynamical systems

this paper provides a review on major ergodic features of semi-independent hyper mv {algebra dynamical systems. theorems are presentedto make contribution to calculate the entropy. particularly, it is proved that thetotal entropy of those semi-independent hyper mv {algebra dynamical systemsthat have a generator can be calculated with respect to their generator ratherthan considering all the par...

Algebra Systems

The following twelve poster abstracts were presented at the ANTS-8 poster session.1 ANTS-8 was held at the Banff Centre in Banff, Alberta Canada, May 17–22, 2008. The conference website, where many of the posters can be viewed online, is http://ants.math. ucalgary.ca/. Calculating Really Big Cyclotomic Polynomials Andrew Arnold and Michael Monagan, Simon Fraser University, ada26@ sfu.ca The nth...